Opacity, Transition, and Design Research
نویسندگان
چکیده
منابع مشابه
Opacity Generalized to Transition Systems
Recently, opacity has proved to be a very promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of opacity to the model of labelled transition systems and generalize opacity in order to be able to represent information flow security as well as protocol security. We give precise links between opacity and other...
متن کاملEnforcing opacity of regular predicates on modal transition systems
Given a labelled transition system LTS partially observed by an attacker, and a regular predicate Sec over the runs of LTS, enforcing opacity of the secret Sec in LTS means computing a supervisory controller K such that an attacker who observes a run of K/LTS cannot ascertain that the trace of this run belongs to Sec based on the knowledge of LTS and K. We lift the problem from a single labelle...
متن کاملOpacity of nondeterministic transition systems: A (bi)simulation relation approach
In this paper, we propose several opacity-preserving (bi)simulation relations for general nondeterministic transition systems (NTS) in terms of initial-state opacity, current-state opacity, K-step opacity, and infinite-step opacity. We also show how one can leverage quotient construction to compute such relations. In addition, we use a two-way observer method to verify opacity of nondeterminist...
متن کاملAnalysis and Design of a Simple Surge Tank (RESEARCH NOTE)
In a hydroelectric power plant or in a pumping station in order to avoid sudden large increase of pressure due to instantaneous valve closure sometimes a surge tank is installed. The height of surge tank is designed by the highest possible water level during the operation. The theoretical treatment of oscillation in a surge tank is difficult because of the non-linearity of friction term in the ...
متن کاملDesign Science Research for Business Process Design: Organizational Transition at Intersport Sweden
Business processes need to be aligned with business strategies. This paper elaborates on experiences from a business process design effort in an action research project performed at Intersport Sweden. The purpose with this project was to create a solid base for taking the retail chain Intersport into a new organizational state where the new process design is aligned with strategic goals. Althou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cuadernos del Centro de Estudios de Diseño y Comunicación
سال: 2019
ISSN: 1853-3523,1668-0227
DOI: 10.18682/cdc.vi73.1048